Clean LanguageとSymbolic Modelling
(6.2.4.2) Clean LanguageとSymbolic Modelling